Cardinal characteristics, projective wellorders and large continuum
نویسندگان
چکیده
We extend the work of [7] by presenting a method for controlling cardinal characteristics in the presence of a projective wellorder and 2א0 > א2. This also answers a question of Harrington [11] by showing that the existence of a ∆3 wellorder of the reals is consistent with Martin’s axiom and 2א0 = א3.
منابع مشابه
Cardinal characteristics and projective wellorders
Using countable support iterations of S -proper posets, we show that the existence of a ∆3 definable wellorder of the reals is consistent with each of the following: d < c, b < a = s, b < g.
متن کاملProjective wellorders and mad families with large continuum
We show that b = c = ω3 is consistent with the existence of a ∆3-definable wellorder of the reals and a Π2-definable ω-mad subfamily of [ω] ω (resp. ω).
متن کاملCichoń's diagram, regularity properties and Δ13 sets of reals
We study regularity properties related to Cohen, random, Laver, Miller and Sacks forcing, for sets of real numbers on the ∆13 level of the projective hieararchy. For ∆12 and Σ 1 2 sets, the relationships between these properties follows the pattern of the well-known Cichoń diagram for cardinal characteristics of the continuum. It is known that assuming suitable large cardinals, the same relatio...
متن کاملMeasure, category and projective wellorders
Every admissible assignment of א1 -א2 to the cardinal invariants in the Cichón diagram can be realized in a generic extension of a model of CH obtained as the countable support iteration of proper forcing notions (see [2, Chapter 7]). With every invariant in the Cichon diagram, one can associate a forcing notion which increases its value without affecting the values of the other invariants. Thu...
متن کاملThe Continuum Hypothesis, Part II, Volume 48, Number 7
Introduction In the first part of this article, I identified the correct axioms for the structure 〈P(N),N,+, ·,∈〉 , which is the standard structure for Second Order Number Theory. The axioms, collectively “Projective Determinacy”, solve many of the otherwise unsolvable, classical problems of this structure. Actually working from the axioms of set theory, ZFC, I identified a natural progression ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Ann. Pure Appl. Logic
دوره 164 شماره
صفحات -
تاریخ انتشار 2013